41. Logic with prolog
Author: Peter Gibbins
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Prolog (Computer program language),Logic programming
Classification :
QA
،
76
.
73
،.
P76
,
G53
،
1988
42. Logic with prolog
Author: / Peter gibbins,Gibbins
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Prolog ( Computer Program language),Logic programming
Classification :
QA
76
.
73
.
P76G53
1988
43. Logic with prolog
Author: Gibbins, Peter
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Prolog(Computer program Language) ► Logic programming
Classification :
005
G438l
44. Logic with prolog
Author: Gibbins, Peter
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Prolog(Computer program Language) ► Logic programming
Classification :
005
G438l
45. Memory performance of prolog architectures
Author: / by Evan Tick
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Prolog (Computer program language),Computer architecture
Classification :
005
.
1
T556M
46. Micro-PROLOG
Author: Clark, Keith L.
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: micro-PROLOG (Computer program language)
Classification :
76
.
73
.
M5
,
C55
47. Micro-PROLOG : programming in logic
Author: Clark, Keith L.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Micro - PROLOG )Computer program language(
Classification :
QA
76
.
73
.
M5
C55
1983
48. Micro-PROLOG : programming in logic
Author: Clark, K. L.)Keith L.(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، micro-PROLOG )Computer program language(
Classification :
QA
76
.
73
.
M5
.
C55
1984
49. Micro - Prolog: Programming in logic
Author: Clark, K.L. )Keith L.(
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Micro - Prolog )computer program language(
Classification :
QA
76
.
73
.
M5
C55
1983
50. Micro-prolog : programming in logic
Author: Clark, Keith L.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Micro-PROLOG )Computer program language(
Classification :
QA
76
.
73
.
M5
C55
51. P-Prolog a parallel logic programming language
Author: Rong Yang
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
Classification :
QA
76
.
73
.
P12V36
1987
52. P-Prolog, a parallel logic programming language
Author: / Rong Yang
Library: Library of College of Science University of Tehran (Tehran)
Subject: P-Prolog (Computer program language),Parallel programming (Computer science),Logic programming
Classification :
QA
76
.
73
.
P12
Y36
1987
53. P-Prolog, a parallel logic programming language
Author: Yang, Rong
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
Classification :
QA
76
.
73
.
P12
.
Y36
1987
54. P-Prolog, a parallel logic programming language
Author: Yang, Rong.
Library: Central Library and Documentation Center (Kerman)
Subject: ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
Classification :
QA
76
.
73
.
P12
Y36
1987
55. Parallel processing and parallel algorithms :
Author: Seyed H Roosta
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
58
S494
2013
56. Perspectives of system informatics :
Author: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programmierung.,Theoretische Informatik.,Wissenstechnik.
57. Principles of logic and logic programming /
Author: G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Programmation logique.,COMPUTERS-- Programming Languages-- General.,Logic programming.,Logic, Symbolic and mathematical.,Logisch programmeren.
Classification :
QA76
.
63
.
M473
1996eb
58. Programming in Prolog
Author: by William F. Clocksin, Christopher S. Mellish.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
QA76
.
73
.
P76
B995
1994
59. Programming with higher-order logic /
Author: Dale Miller, Gopalan Nadathur.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming.,Prolog (Computer program language)
Classification :
QA76
.
63
.
M554
2012
60. Prolog Versus You :
Author: by Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
QA76
.
73
.
P76
B936
1989
